Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

Source URL: www.usenix.org

• Software
• Computing
• System software
• Boot loaders
• BIOS
• Rootkits
• System Management Mode
• Concolic testing
• Symbolic execution
• Unified Extensible Firmware Interface
• QEMU
• Software testing

Welcome to today’s ACM SIGSOFT Webinar Transferring Software Testing Tools to Practice • The presentation starts at the top of the hour and lasts 60 minutes. Slides will advance automatically throughout the event. Yo

Source URL: learning.acm.org

• Software
• Null
• Cross-linked polyethylene
• Symbolic execution
• Microsoft Visual Studio
• X Window System

July 28–31, 2009, Seoul, Korea Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary

Source URL: issac2009.kias.re.kr

• Mathematics
• Algebra
• Computer algebra
• Polynomials
• Grbner basis
• Regular chain
• Polynomial
• System of polynomial equations
• Symbolic computation
• Factorization
• Resultant
• Finite field

A Vision System for Symbolic Interpretation of Dynamic Scenes using ARSOM Antonio Chella, Donatella Guarino, Ignazio Infantino, Roberto Pirrone Dipartimento di Ingegneria Automatica e Informatica - University of Palermo

Source URL: www.antoniochella.it

• Computational neuroscience
• Artificial neural network
• Mathematical psychology
• Computer vision
• Active contour model

Audio Engineering Society Convention Paper Presented at the 125th Convention 2008 October 2–5 San Francisco, CA, USA The papers at this Convention have been selected on the basis of a submitted abstract and extended p

Source URL: www.j3l7h.de

• File managers
• Virtual folder
• Windows Vista
• Computer file
• Directory structure
• File shortcut
• File Explorer
• File system
• NTFS
• Directory
• Symbolic link
• Shelf

Crafting a Repository of Knowledge Based on Transformation Rules A.D. Rich (1) and D.J. JeffreyLoli’i Way, Kamuela, Hawaii, USA.

Source URL: www.apmaths.uwo.ca

• Elementary algebra
• Computer algebra
• Symbolic computation
• Expression
• Identity
• Computer algebra system
• Algebraic expression
• Integral
• Trigonometric functions
• Draft:Formulae
• Lambda calculus definition

Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London

Source URL: www.doc.ic.ac.uk

• Software testing
• Concolic testing
• Symbolic execution
• Java Pathfinder
• KeY
• Random testing
• Model checking
• Satisfiability modulo theories
• Unit testing
• Type system
• White-box testing
• Fuzz testing

EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic,

Source URL: www.doc.ic.ac.uk

• Data types
• Symbolic execution
• Pointer
• Array data structure
• Array data type
• Bit array
• Type system
• Concolic testing

Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

Source URL: rjida.meijo-u.ac.jp

A new binary alternatives system for Linux/Unix Hans-Georg Eßer LinuxUser, Editor-in-chief September 22, 2003

Source URL: privat.hgesser.com

• Software
• Computing
• Emacs
• Text editors
• Filesystem Hierarchy Standard
• Linux
• System administration
• Alias
• Configuration file
• Cd
• Symbolic link
• Home directory